Books by author Alexandra Silva

Showing 1 – 10 out of 10 results

1. 

   Language, Logic, and Computation

   Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Logic and Program Semantics

   Robert L. Constable, Alexandra Silva | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.83 €

   Buy
3. 
   New!

   Play For Keeps

   Alexandra Silva | Independently published, 2026

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   18.40 €

   Sale 6 %

   You save 1.36 €

   Buy
4. 

   Foundations of Probabilistic Programming

   Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva | Cambridge University Press, 2020

   
   

   Print on demand - Shipping in 17 - 26 days

   Language: English

   Binding: Hardback

   85.37 €

   Buy
5. 

   Falling Offsides

   Alexandra Silva | Independently published, 2025

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   18.40 €

   Sale 6 %

   You save 1.36 €

   Buy
6. 
   New!

   Os Dois Jardins do Matti

   Alexandra Silva | Bookmundo, 2026

   
   

   Print on demand - Shipping in 17 - 27 days

   Language: Portuguese

   Binding: Paperback

   13.95 €

   Sale 3 %

   You save 0.56 €

   Buy
7. 

   Computer Aided Verification

   Alexandra Silva | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.36 €

   Sale 7 %

   You save 3.44 €

   Buy
8. 

   Computer Aided Verification

   Alexandra Silva | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.36 €

   Sale 7 %

   You save 3.44 €

   Buy
9. 

   Formal Techniques for Distributed Objects, Components, and Systems

   Ahmed Bouajjani, Alexandra Silva | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
10. 

    Break the Ice

    Alexandra Silva | Independently published, 2025

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    18.40 €

    Sale 6 %

    You save 1.36 €

    Buy

Nobody else offers you access to a wider selection. Find out more